How to Split a Logic Program

Logic Program Specialisation: How to Be More Specific (Abstract)

Standard partial deduction suffers from several drawbacks when compared to top-down abstract interpretation schemes. Conjunctive partial deduction, an extension of standard partial deduction, remedies one of those, namely the lack of side-ways information passing. But two other problems remain: the lack of success-propagation as well as the lack of inference of global success-information. We il...

How to Split Recursive Automata

How to Disembed a Program?

This paper presents the theoretical blueprint of a new secure token called the Externalized Microprocessor (XμP). Unlike a smartcard, the XμP contains no ROM at all. While exporting all the device’s executable code to potentially untrustworthy terminals poses formidable security problems, the advantages of ROM-less secure tokens are numerous: chip masking time disappears, bug patching becomes a...

How DoesStrawson Unify Epistemology, Ontology and Logic

Strawson’s conception of analysis as a ‘connective linguistic analysis’ makes it possible for him to achieve an indefinitely large range of ideas or concepts among them are certain numbers of fundamental, general and pervasive concepts or concept-types which not only are pre-theoretical or ahistorical, but also together constitute a structural framework only within whichlogic, ontology and epis...

How to split up: lessons from mitochondria.

Mitochondria are remarkably dynamic organelles undergoing frequent fusion and fission events. Impairment thereof is linked to numerous neurodegenerative disorders and dysregulation of apoptosis. The principal players mediating mitochondrial fission are considered to be well known and largely conserved between yeast and mammals. However, how the essential fission factor Drp1 is recruited to mito...